filmov
tv
DNF and satisfiability and Validity